Informal Control code logic
نویسنده
چکیده
General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is considered. A rationale for control code testing is sought and found, for the case of safety critical embedded control code.
منابع مشابه
A Petri Net based Approach to the Development of correct Logic Controllers Design, Verification, Validation, Evaluation, and Implementation
An overview on the different steps involved in the development of a logic control algorithm from the informal specification to the final implementation on a programmable logic controller (PLC) is given. Based on this overview the steps in the development process are presented in detail. An example is used throughout the paper to illustrate the methods. The approach uses Signal Interpreted Petri...
متن کاملAn Integrated Approach for the Development of Logic Controllers Based on Signal Interpreted Petri Nets
In this contribution an integrated design approach for logic control systems is presented. The approach is based on Signal Interpreted Petri Nets (SIPN), a Petri Net model extending condition event nets with means for the input and output of signals. The presented method starts from an informal description of the controller and proceeds over the steps design, formal verification and validation ...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملCOMPASS: A Comprehensible Assertion Method
We present an approach for automatically generating relevant , focused questions to be asked during code inspection sessions. The method is based on Hoare-logic. The novel key idea is the introduction of informal predicates, which, though not having a formal definition , may have a perfectly legal and unique informal interpretation. Such predicates make it easier to express requirements in term...
متن کاملDesign of Safe PLC Programs by Using Petri Nets and Formal Methods
The paper presents an approach which combines the formalism of Petri Nets and of model checking in order to deliver correct and dependable PLC programs. Based on SIPNs, a variant of PNs, the complete controller development process from an informal specification to the final implementation on a PLC is discussed. The SIPN formalized according to corresponding plant model enables the derivation of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1009.2902 شماره
صفحات -
تاریخ انتشار 2010